sublist_occurence(T;L1;L2;f) == increasing(f;||L1||) & (j:||L1||. L1[j] = L2[f(j)]) 

latex

---

clarification:

sublist_occurence(T;L1;L2;f) == increasing(f;||L1||) & (j:{0..||L1||}. L1[j] = L2[f(j)]  T) 

latex

Definitions	P & Q, increasing(f;k), x:A. B(x), {i..j}, ||as||, l[i]
FDL editor aliases	sublist_occurence